Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University

Source URL: tlt2017.di.unito.it

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Operational semantics
• Semantics
• International Colloquium on Automata
• Languages and Programming
• Nominal
• Process calculi

Zero-Knowledge Protocols for Search Problems Ben Berger Zvika Brakerski Weizmann Institute of Science, Israel∗ Abstract

Source URL: eprint.iacr.org

• Complexity classes
• Cryptography
• Computational complexity theory
• Computing
• Interactive proof system
• Zero-knowledge proof
• NP
• IP
• Soundness
• Proof of secure erasure
• Certificate
• Zero knowledge

For the DISTINCT Clause of SPARQL Queries Medha Atre Dept. of Computer Science and Engineering Indian Institute of Technology, Kanpur, India

Source URL: gdac.uqam.ca

• Graph theory
• Computing
• Resource Description Framework
• Query languages
• Mathematics
• Discrete mathematics
• SPARQL
• FO
• Graph
• Directed graph
• RDFLib

Mathematics of Machine Learning: An introduction Sanjeev Arora Princeton University Computer Science Institute for Advanced Study

Source URL: eta.impa.br

• Machine learning
• Learning
• Artificial intelligence
• Applied mathematics
• Artificial neural network
• Outline of machine learning
• Supervised learning
• Regularization
• Empirical risk minimization
• Backpropagation
• Poisson regression
• Parametric model

1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science

Source URL: precision.moscito.org

• Cryptography
• Public-key cryptography
• Transport Layer Security
• Cryptographic software
• Secure communication
• Cryptographic protocols
• Mbed TLS
• Cipher suite
• OpenSSL
• Forward secrecy
• Post-quantum cryptography
• HTTPS

Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol

Source URL: www.ieee-security.org

• System software
• Computing
• Utility software
• Computer network security
• Computer security
• Configuration management
• Network architecture
• Software-defined networking
• Intrusion detection system
• Snort
• OpenFlow
• Traffic flow

Announcement A Workshop in Geospatial Analysis for Attaining the Millennium Development Goals and Sustainable Development The Center for International Earth Science Information Network (CIESIN) of The Earth Institute at

Source URL: wwwgateway.ciesin.org

Locality in Networks Jukka Suomela Helsinki Institute for Information Technology HIIT Department of Computer Science, University of Helsinki Foundations of Network Science Workshop Riga, 7 July 2013

Source URL: users.ics.aalto.fi

Visual Comfort for Mobile Displays Li-Chen Ou Graduate Institute of Color and Illumination Technology National Taiwan University of Science and Technology Which one looks more comfortable in the eyes?

Source URL: www.color.org

International Workshop for Molecular Simulations for Polymers organized by Joint Usage/Research Center, Institute for Chemical Research, Kyoto University, International Research Unit of Integrated Complex System Science,

Source URL: www.kuicr.kyoto-u.ac.jp